"Martin Steffen" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Dennis Dams, Ulrich Hannemann, Martin Steffen

Категория: Компьютеры

5.37 Mb

#2

Prekäre Legitimitäten: Rechtfertigung von Herrschaft in der postnationalen Konstellation (Reihe: Staatlichkeit im Wandel)

Frank Nullmeier, Dominika Biegon, Jennifer Gronau, Martin Nonhoff, Henning Schmidtke, Steffen Schneider

3.07 Mb

#3

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Dennis Dams, Ulrich Hannemann, Martin Steffen

5.49 Mb

#4

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005,

Martin Steffen

3.59 Mb